extern void main_core1();

int main(void)
{
    main_core1();

    return 0;
}
